Cut and paste this URL to share the unmodified register and value:
https://regviz.com/r/Freescale Semiconductor/MK61F15WS/DDR/CR31#0x0
INTMASK=0
DDR Control Register 31
Interrupt Mask
0 (0): No mask
1 (1): Mask corresponding interrupt signal
Reserved
https://github.com/cmsis-svd/cmsis-svd-data